#ifndef LIB_STDIO_H
#define LIB_STDIO_H
#include "stdint.h"
typedef char* va_list;
uint32_t vsprintf(char*, const char*, va_list);
uint32_t printf(const char*, ...);
uint32_t sprintf(char* buf, const char* format, ...);
#endif // LIB_STDIO_H